document.write (" 5180 ");