document.write (" 12194 ");