document.write('9942');