document.write (" 12195 ");