document.write('9942')