document.write (" 13950 ");