document.write (" 6232 ");