document.write (" 12246 ");