document.write('400012');