document.write ("1218 ");