document.write (" 9732 ");