document.write (" 4678 ");