document.write ("("+"4"+")");