document.write (" 12294 ");