document.write (" 19440 ");