<asie> GreaseMonkey: ALSO PUSH ASM.HRL