document.write (" 6238 ");