document.write (" 22140 ");