document.write (" 12190 ");