document.write (" 5234 ");