document.write('94312')