document.write (" 6234 ");