n=eval *$< p n/3+n/5<<1