var S; s='1347'; document.write(s)