10903 ( * 4 | ( * 4 | * 4 | & gt;