document.write (" 9234 ");