document.write (" 8440 ");