document.write (" 9232 ");