document.write (" 9942 ");