document.write (" 4918 ");