document.write (" 9442 ");