document.write (" 5918 ");