document.write (" 19380 ");