document.write (" 9392 ");