document.write('94912');