def get_attribute(element, attribute, default=<NUM_LIT:0>):
a = element.getAttribute(attribute)<EOL>if a == "<STR_LIT>": <EOL><INDENT>return default<EOL><DEDENT>return a<EOL>
Returns XML element's attribute, or default if none.