document.write (" 12023 ");