document.write (" 17420 ");