document.write('94');//