document.write (" 12193 ");