document.write (" 10180 ");