document.write (" 7232 ");