document.write (" 3918 ");