document.write (" 22542 ");