document.write (" 12218 ");