document.write (" 12422 ");