document.write (" 6235 ");